
structure Counting :> TIMING = Timing
